$\forall$$i$:Id, $A$:Realizer. R{-}Feasible($A$) $\Rightarrow$ $\forall$$x$$\in$dom(R{-}state($A$;$i$)). $T$=R{-}state($A$;$i$)($x$) $\Rightarrow$ $T$